| Test Your Program |
|
The static checker raises questions |
|
|
You create a dynamic test driver to answer those questions |
|
|
A coverage metric measures the test |